Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

We compare and contrast our experiences in specifying, implementing and verifying the monotonicity property of a simple plurality voting scheme using modern light-weight and heavy-weight verification tools

The International Cancer Expert Corps: A Unique Approach for Sustainable Cancer Care in Low and Lower-Middle Income Countries

The growing burden of non-communicable diseases including cancer in low- and lower-middle income countries (LMICs) and in geographic-access limited settings within resource-rich countries requires effective and sustainable solutions. The International Cancer Expert Corps (ICEC) is pioneering a novel global mentorship–partnership model to address workforce capability and capacity within cancer disparities regions built on the requirement for local investment in personnel and infrastructure. Radiation oncology will be a key component given its efficacy for cure even for the advanced stages of disease often encountered and for palliation. The goal for an ICEC Center within these health disparities settings is to develop and retain a high-quality sustainable workforce who can provide the best possible cancer care, conduct research, and become a regional center of excellence. The ICEC Center can also serve as a focal point for economic, social, and healthcare system improvement. ICEC is establishing teams of Experts with expertise to mentor in the broad range of subjects required to establish and sustain cancer care programs. The Hubs are cancer centers or other groups and professional societies in resource-rich settings that will comprise the global infrastructure coordinated by ICEC Central. A transformational tenet of ICEC is that altruistic, human-service activity should be an integral part of a healthcare career. To achieve a critical mass of mentors ICEC is working with three groups: academia, private practice, and senior mentors/retirees. While in-kind support will be important, ICEC seeks support for the career time dedicated to this activity through grants, government support, industry, and philanthropy. Providing care for people with cancer in LMICs has been a recalcitrant problem. The alarming increase in the global burden of cancer in LMICs underscores the urgency and makes this an opportune time fornovel and sustainable solutions to transform cancer care globally

An improved beam-search for the test case generation for formal verification systems

The correctness of software verification systems is vital, since they are used to confirm that safety and security critical software systems satisfy their requirements. Modern verification systems need to understand their target software, which can be done by using an axiomatization base. It captures the semantics of the programming language used for writing the target software. To ensure their correctness, it is necessary to validate both parts: the implementation and the axiomatization base. As a result, it is essential to increase the axiom coverage in order to verify its correctness. However, creating test cases manually is a time consuming and difficult task even for verification engineers. We present a beam search approach to automatically generate test cases by modifying existing test cases as well as a comparison between axiomatization and code coverage. Our results show that the overall coverage of the existing test suite can be improved by more than 20%. In addition, our approach explores the search space more efficiently than existing ones.Mahmoud A. Bokhari,Thorsten Bormer, Markus Wagne

Immunohistochemical characterization of 22 monoclonal antibodies against the CA125 antigen: 2nd report from the ISOBM TD-1 workshop

We evaluated the immunohistological (IH) characteristics of 22 different antibodies that were submitted for study in the frame of the TD-1 ISOBM Workshop on monoclonal antibodies against CA125. Information on relative affinities and epitope similarities was obtained from a parallel immunochemical study. Antibodies were tested at concentrations of 10 and I mu g/ml on frozen and paraffin sections. Paraffin sections were stained according to the streptavidin-biotin complex protocol, and frozen sections according to a two-step immunoperoxidase technique. Aminoethylcarbazole served as the chromogen. The tissues were from normal proliferative endometrium (formalin-fixed paraffin-embedded) material and clear-cell adenocarcinoma of the ovary (formalin-fixed paraffin-embedded and frozen material). Sections were scored for staining in epithelial cells, basal, apical and diffuse cytoplasmic and in stromal components. Intensity was graded as 1, 2 or 3 for epithelial cells and as -1, -2 or -3 for stroma. The cumulative scores for each antibody expressed the discriminative properties of specific epithelial staining against background. M11 and M11-like antibodies, as well as OC125 and OC125-like antibodies, in general showed good staining results. Although there was a trend for high-affinity antibodies to show higher scores, there was no clear relationship between affinity and staining result. For nine antibodies (ZR45, MA602-1, K102, K94, K90, OV185, K97, K96, OV198), the reactions in paraffin and frozen sections were of similar intensity. Most of these were of low affinity with one exception: antibody ZR45, a rat monoclonal antibody (MAb) which had a high relative affinity. For eight antibodies (MI I, K101, MA602-6, ZS33, B27.1, B43.13, K93, OC125), a loss of specific staining was observed in frozen sections. All but two of these antibodies (MA602-6 and OC125) were of high relative affinity. With four antibodies (K91, ZR38, K95, K100), the reverse situation was observed. One (K100) was of low affinity, two (K95 and K91) of high affinity and the fourth (ZR38) was a rat MAb of high affinity. Mainly due to the increased cytoplasmic staining in carcinoma, the reactivity in paraffin sections was less extensive in normal endometrium compared to ovarian carcinoma for the majority of antibodies, irrespective of their affinity or epitope group. The IH characterization of these antibodies may be of help in selecting antibodies with specific properties for further comparative studies. The reactivity of normal endometrium with all useful antibodies makes it a good candidate for standard external IH tissue control